On the Computational Power of Self-Stabilizing Systems
نویسندگان
چکیده
The computational power of self-stabilizing distributed systems is examined. Assuming availability of any number of processors, each with (small) constant size memory we show that any computable problem can be realized in a self-stabilizing fashion. The result is derived by presenting a distributed system which tolerates transient faults and simulates the execution of a Turing machine. The total amount of memory required by the distributed system is equal to the memory used by the Turing machine (up to a constant factor).
منابع مشابه
Stabilizing Microgrid Frequency by Linear Controller Design to Increase dynamic response of Diesel Generator frequency Control Loop
In this paper, a distributed generation including diesel generators, wind turbines, and microturbines are introduced, and their mathematical model is described using the Taylor expansion method. With the goal of computational complexity eliminating, the reduced order model (ROM) of microgrid components is considered. The results of the studies indicate that the microgrid frequency is unstable...
متن کاملDesign Supplementary Controller Based on Stabilizing Effect of Delay for Damping Inter Area Oscillations in a Power System
The delay associated with signal transmission through the wide-area measurement system reduces the functionality of the power oscillation damping control system. One of the important issues is the poor operation of the supplementary controller against delay existence, which limits the efficiency of damping of ancillary equipment, such as SVCs in a power system. This paper as a solution proposes...
متن کاملSelf-stabilizing Automata
Biological systems are known to be probabilistically self-stabilizing, i.e. with a high probability they can reach a stable state from any initial state. This property is very important to computer-based systems, too. However, building selfstabilizing systems is still very difficult. Proving that any given implementation is in fact self-stabilizing is even harder. Nature has a big advantage: An...
متن کاملInvestigation and Control of Unstable Chaotic Behavior Using of Chaos Theory in Two Electrical Power Systems: 1-Buck Converter2- Power Transformer
This paper consist of two sections: control and stabilizing approach for chaotic behaviour of converter is introduced in first section of this paper for the removal of harmonic caused by the chaotic behaviour in current converter. For this work, a Time- Delayed Feedback Controller (TDFC) control method for stability chaotic behaviour of buck converter for switching courses in current control mo...
متن کاملIncreasing the Performance of OFDM Systems by PAPR Reduction in PTS Technique using Election Optimization Algorithm
Orthogonal Frequency Division Multiplexing (OFDM) is a useful technology in wireless communications that provides high-rate data transmission in multipath fading channels. The advantages of OFDM systems are the high spectral efficiency and strong resistance to frequency selective fading. In OFDM systems, a large number of sub-carriers are used to modulate the symbols causing the time-domain OFD...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 182 شماره
صفحات -
تاریخ انتشار 1997